home *** CD-ROM | disk | FTP | other *** search
- /* Allocate registers within a basic block, for GNU compiler.
- Copyright (C) 1987, 1988 Free Software Foundation, Inc.
-
- This file is part of GNU CC.
-
- GNU CC is free software; you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 1, or (at your option)
- any later version.
-
- GNU CC is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
-
- You should have received a copy of the GNU General Public License
- along with GNU CC; see the file COPYING. If not, write to
- the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
-
-
- /* Allocation of hard register numbers to pseudo registers is done in
- two passes. In this pass we consider only regs that are born and
- die once within one basic block. We do this one basic block at a
- time. Then the next pass allocates the registers that remain.
- Two passes are used because this pass uses methods that work only
- on linear code, but that do a better job than the general methods
- used in global_alloc, and more quickly too.
-
- The assignments made are recorded in the vector reg_renumber
- whose space is allocated here. The rtl code itself is not altered.
-
- We assign each instruction in the basic block a number
- which is its order from the beginning of the block.
- Then we can represent the lifetime of a pseudo register with
- a pair of numbers, and check for conflicts easily.
- We can record the availability of hard registers with a
- HARD_REG_SET for each instruction. The HARD_REG_SET
- contains 0 or 1 for each hard reg.
-
- To avoid register shuffling, we tie registers together when one
- dies by being copied into another, or dies in an instruction that
- does arithmetic to produce another. The tied registers are
- allocated as one. Registers with different reg class preferences
- can never be tied unless the class preferred by one is a subclass
- of the one preferred by the other.
-
- Tying is represented with "quantity numbers".
- A non-tied register is given a new quantity number.
- Tied registers have the same quantity number.
-
- We have provision to exempt registers, even when they are contained
- within the block, that can be tied to others that are not contained in it.
- This is so that global_alloc could process them both and tie them then.
- But this is currently disabled since tying in global_alloc is not
- yet implemented. */
-
- #include <stdio.h>
- #include "config.h"
- #include "rtl.h"
- #include "flags.h"
- #include "basic-block.h"
- #include "regs.h"
- #include "hard-reg-set.h"
- #include "insn-config.h"
- #include "recog.h"
-
- /* What about hardware registers used and set within same insn?
- Will that ever happen for a non-fixed register?
- Our lifetime-tracking for hardware registers would lose.
- [This caution is an old comment that may be obsolete;
- I think there is no longer a problem, but I'm not sure.] */
-
- /* Next quantity number available for allocation. */
-
- static int next_qty;
-
- /* In all the following vectors indexed by quantity number,
- only elements at indices >= FIRST_PSEUDO_REGISTER are actually used. */
-
- /* Element Q is the hard reg number chosen for quantity Q,
- or -1 if none was found. */
-
- static short *qty_phys_reg;
-
- /* Element Q is the hard reg number suggested for quantity Q,
- or -1 if no specific suggestion. */
-
- static short *qty_phys_sugg;
-
- /* Element Q is the number of refs to quantity Q. */
-
- static short *qty_n_refs;
-
- /* Element Q is a reg class contained in (smaller than) the
- preferred classes of all the pseudo regs that are tied in quantity Q.
- This is the preferred class for allocating that quantity. */
-
- static enum reg_class *qty_min_class;
-
- /* Insn number (counting from head of basic block)
- where quantity Q was born. -1 if birth has not been recorded. */
-
- static int *qty_birth;
-
- /* Insn number (counting from head of basic block)
- where quantity Q died. Due to the way tying is done,
- and the fact that we consider in this pass only regs that die but once,
- a quantity can die only once. Each quantity's life span
- is a set of consecutive insns. -1 if death has not been recorded. */
-
- static int *qty_death;
-
- /* Number of words needed to hold the data in quantity Q.
- This depends on its machine mode. It is used for these purposes:
- 1. If it is 0, the qty is not really in use and is not allocated.
- 2. It is used in computing the relative importances of qtys,
- which determines the order in which we look for regs for them.
- 3. It is used in rules that prevent tying several registers of
- different sizes in a way that is geometrically impossible
- (see combine_regs). */
-
- static int *qty_size;
-
- /* This holds the mode of the registers that are tied to qty Q,
- or VOIDmode if registers with differing modes are tied together. */
-
- static enum machine_mode *qty_mode;
-
- /* Number of times a reg tied to qty Q lives across a CALL_INSN. */
-
- static int *qty_n_calls_crossed;
-
- /* Nonzero means don't allocate qty Q if we can't get its preferred class. */
-
- static char *qty_preferred_or_nothing;
-
- /* reg_qty[N] (where N is a pseudo reg number)
- is the qty number of that reg (which is >= FIRST_PSEUDO_REGISTER),
- or -1 if (REG N) is not local to the current basic block,
- or -2 if not known yet.
-
- If N is < FIRST_PSEUDO_REGISTER, reg_qty[N] is -1. */
-
- static int *reg_qty;
-
- /* The offset (in words) of register N within its quantity.
- This can be nonzero if register N is SImode, and has been tied
- to a subreg of a DImode register. */
-
- static int *reg_offset;
-
- /* Vector of substitutions of register numbers,
- used to map pseudo regs into hardware regs.
- This is set up as a result of register allocation.
- Element N is the hard reg assigned to pseudo reg N,
- or is -1 if no hard reg was assigned.
- If N is a hard reg number, element N is N. */
-
- short *reg_renumber;
-
- /* Set of hard registers live at the current point in the scan
- of the instructions in a basic block. */
-
- static HARD_REG_SET regs_live;
-
- /* Indexed by insn-number-within-basic-block,
- a set or hard registers live *after* that insn. */
-
- static HARD_REG_SET *regs_live_at;
-
- /* Nonzero if a CALL_INSN has been scanned
- but we have not yet seen a reference to the value returned. */
-
- static int call_seen;
-
- /* Communicate local vars `insn_number' and `insn'
- from `block_alloc' to `reg_is_set' and `wipe_dead_reg'. */
- static int this_insn_number;
- static rtx this_insn;
-
- static void block_alloc ();
- static int combine_regs ();
- static void wipe_dead_reg ();
- static int find_free_reg ();
- static void reg_is_born ();
- static void reg_is_set ();
- static void mark_life ();
- static void post_mark_life ();
- static int qty_compare ();
- static int qty_compare_1 ();
- static int reg_meets_class_p ();
- static int reg_class_subset_p ();
- static void update_qty_class ();
-
- /* Allocate a new quantity (new within current basic block)
- for register number REGNO which is born in insn number INSN_NUMBER
- within the block. MODE and SIZE are info on reg REGNO. */
-
- static void
- alloc_qty (regno, mode, size, insn_number)
- int regno;
- enum machine_mode mode;
- int size, insn_number;
- {
- register int qty = next_qty++;
- reg_qty[regno] = qty;
- reg_offset[regno] = 0;
- qty_size[qty] = size;
- qty_mode[qty] = mode;
- qty_birth[qty] = insn_number;
- qty_n_calls_crossed[qty] = reg_n_calls_crossed[regno];
- qty_min_class[qty] = reg_preferred_class (regno);
- qty_preferred_or_nothing[qty] = reg_preferred_or_nothing (regno);
- qty_n_refs[qty] = reg_n_refs[regno];
- }
-
- /* Main entry point of this file. */
-
- void
- local_alloc ()
- {
- register int b, i;
-
- /* Allocate vectors of temporary data.
- See the declarations of these variables, above,
- for what they mean. */
-
- qty_phys_reg = (short *) alloca (max_regno * sizeof (short));
- qty_phys_sugg = (short *) alloca (max_regno * sizeof (short));
- qty_birth = (int *) alloca (max_regno * sizeof (int));
- qty_death = (int *) alloca (max_regno * sizeof (int));
- qty_size = (int *) alloca (max_regno * sizeof (int));
- qty_mode = (enum machine_mode *) alloca (max_regno * sizeof (enum machine_mode));
- qty_n_calls_crossed = (int *) alloca (max_regno * sizeof (int));
- qty_min_class = (enum reg_class *) alloca (max_regno * sizeof (enum reg_class));
- qty_preferred_or_nothing = (char *) alloca (max_regno);
- qty_n_refs = (short *) alloca (max_regno * sizeof (short));
-
- reg_qty = (int *) alloca (max_regno * sizeof (int));
- reg_offset = (int *) alloca (max_regno * sizeof (int));
-
- reg_renumber = (short *) oballoc (max_regno * sizeof (short));
- for (i = 0; i < max_regno; i++)
- reg_renumber[i] = -1;
-
- /* This controls only how many elts of the `qty_...' vectors
- need to be zero for the first basic block. */
- next_qty = max_regno;
-
- /* Allocate each block's local registers, block by block. */
-
- for (b = 0; b < n_basic_blocks; b++)
- {
- for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
- {
- reg_qty[i] = -1;
- }
- for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
- {
- qty_phys_sugg[i] = -1;
- qty_birth[i] = -1;
- qty_death[i] = -1;
- /* Set reg_qty to -2 for pseudos in this block, -1 for others. */
- if (reg_basic_block[i] == b && reg_n_deaths[i] == 1)
- reg_qty[i] = -2;
- else
- reg_qty[i] = -1;
- }
-
- bzero (reg_offset, max_regno * sizeof (int));
-
- /* NEXT_QTY indicates which elements of the `qty_...'
- vectors might need to be initialized. Initialize those,
- with explicit loop if there are few, else with bzero. */
-
- if (next_qty < FIRST_PSEUDO_REGISTER + 6)
- {
- for (i = FIRST_PSEUDO_REGISTER; i < next_qty; i++)
- {
- qty_size[i] = 0;
- qty_mode[i] = VOIDmode;
- qty_min_class[i] = NO_REGS;
- qty_preferred_or_nothing[i] = 0;
- qty_n_calls_crossed[i] = 0;
- qty_n_refs[i] = 0;
- }
- }
- else
- {
- int clear_length = next_qty - FIRST_PSEUDO_REGISTER;
-
- #define CLEAR(vector) \
- bzero ((vector) + FIRST_PSEUDO_REGISTER, \
- (sizeof (*(vector))) * clear_length)
-
- CLEAR (qty_size);
- CLEAR (qty_mode);
- CLEAR (qty_min_class);
- CLEAR (qty_preferred_or_nothing);
- CLEAR (qty_n_calls_crossed);
- CLEAR (qty_n_refs);
- }
-
- next_qty = FIRST_PSEUDO_REGISTER;
-
- block_alloc (b);
- #ifdef USE_C_ALLOCA
- alloca (0);
- #endif
- }
- }
-
- /* Allocate hard regs to the pseudo regs used only within block number B.
- Only the pseudos that die but once can be handled. */
-
- static void
- block_alloc (b)
- int b;
- {
- register int i, q;
- register rtx insn;
- int insn_number = 0;
- int insn_count = 0;
- short *qty_order;
-
- call_seen = 0;
-
- /* Count the instructions in the basic block. */
-
- insn = basic_block_end[b];
- while (1)
- {
- if (GET_CODE (insn) != NOTE)
- insn_count++;
- if (insn == basic_block_head[b])
- break;
- insn = PREV_INSN (insn);
- }
-
- /* +1 to leave room for a post_mark_life at the last insn. */
- regs_live_at = (HARD_REG_SET *) alloca ((insn_count + 1)
- * sizeof (HARD_REG_SET));
- bzero (regs_live_at, (insn_count + 1) * sizeof (HARD_REG_SET));
-
- /* Initialize table of hardware registers currently live. */
-
- #ifdef HARD_REG_SET
- regs_live = *basic_block_live_at_start[b];
- #else
- COPY_HARD_REG_SET (regs_live, basic_block_live_at_start[b]);
- #endif
-
- /* This loop scans the instructions of the basic block
- and assigns quantities to registers.
- It computes which registers to tie. */
-
- insn = basic_block_head[b];
- while (1)
- {
- register rtx body = PATTERN (insn);
-
- if (GET_CODE (insn) != NOTE)
- insn_number++;
-
- if (GET_CODE (insn) == INSN || GET_CODE (insn) == JUMP_INSN
- || GET_CODE (insn) == CALL_INSN)
- {
- register rtx link;
- register int win = 0;
- register rtx r0, r1;
- int combined_regno = -1;
- int insn_code_number = recog_memoized (insn);
- int commutative = 0;
-
- this_insn_number = insn_number;
- this_insn = insn;
-
- /* Set COMMUTATIVE if operands 1 and 2 are commutative. */
- if (insn_code_number >= 0
- && insn_n_operands[insn_code_number] > 2
- && insn_operand_constraint[insn_code_number][1][0] == '%')
- commutative = 1;
-
- /* Is this insn suitable for tying two registers?
- If so, try doing that.
- Suitable insns are (set reg0 reg1) and
- (set reg0 (arithop reg1 ...)).
- For a commutative operation, try (set reg0 (arithop ... reg1)).
- Subregs in place of regs are also ok.
- An insn with parallel sets is ok if the first set is suitable.
-
- If tying is done, WIN is set nonzero. */
-
- if (GET_CODE (body) == SET
- && (r0 = SET_DEST (body),
- GET_CODE (r0) == REG || GET_CODE (r0) == SUBREG)
- && (r1 = SET_SRC (body),
- GET_CODE (r1) == REG || GET_CODE (r1) == SUBREG))
- win = combine_regs (r1, r0, b, insn_number, insn);
- else if (GET_CODE (body) == SET)
- {
- r0 = SET_DEST (body);
- if (GET_CODE (r0) == REG || GET_CODE (r0) == SUBREG)
- {
- if (GET_RTX_FORMAT (GET_CODE (SET_SRC (body)))[0] == 'e'
- && (r1 = XEXP (SET_SRC (body), 0),
- GET_CODE (r1) == REG || GET_CODE (r1) == SUBREG))
- win = combine_regs (r1, r0, b, insn_number, insn);
- if (win == 0 && commutative
- && GET_RTX_FORMAT (GET_CODE (SET_SRC (body)))[1] == 'e'
- && (r1 = XEXP (SET_SRC (body), 1),
- GET_CODE (r1) == REG || GET_CODE (r1) == SUBREG))
- win = combine_regs (r1, r0, b, insn_number, insn);
- }
- }
- else if (GET_CODE (body) == PARALLEL)
- {
- rtx set1 = XVECEXP (body, 0, 0);
- if (GET_CODE (set1) == SET
- && (r0 = SET_DEST (set1),
- GET_CODE (r0) == REG || GET_CODE (r0) == SUBREG)
- && GET_RTX_FORMAT (GET_CODE (SET_SRC (set1)))[0] == 'e'
- && (r1 = XEXP (SET_SRC (set1), 0),
- GET_CODE (r1) == REG || GET_CODE (r1) == SUBREG))
- win = combine_regs (r1, r0, b, insn_number, insn);
- if (win == 0 && commutative && GET_CODE (set1) == SET
- && (r0 = SET_DEST (set1),
- GET_CODE (r0) == REG || GET_CODE (r0) == SUBREG)
- && GET_RTX_FORMAT (GET_CODE (SET_SRC (set1)))[1] == 'e'
- && (r1 = XEXP (SET_SRC (set1), 1),
- GET_CODE (r1) == REG || GET_CODE (r1) == SUBREG))
- win = combine_regs (r1, r0, b, insn_number, insn);
- }
-
- /* If registers were just tied, set COMBINED_REGNO
- to the number of the register used in this insn
- that was tied to the register set in this insn.
- This register's qty should not be "killed". */
-
- if (win)
- {
- while (GET_CODE (r1) == SUBREG)
- r1 = SUBREG_REG (r1);
- combined_regno = REGNO (r1);
- }
-
- for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
- {
- /* Mark the death of everything that dies in this instruction,
- except for anything that was just combined. */
- if (XEXP (link, 0)
- && REG_NOTE_KIND (link) == REG_DEAD
- && combined_regno != REGNO (XEXP (link, 0)))
- {
- #if 0 /* The mechanism in reg_is_set that checks whether the qty dies here
- ought to handle this case properly. */
- if (combined_regno >= 0 &&
- reg_qty[combined_regno] == reg_qty[REGNO (XEXP (link, 0))])
- /* Here for the death of the quotient in a divmod insn:
- something that was born and dead in this insn
- but combined with something else that also dies here.
- Mark the qty as dying one instruction later. */
- wipe_dead_reg (XEXP (link, 0), insn_number,
- insn_number + 1);
- else
- #endif
- wipe_dead_reg (XEXP (link, 0), insn_number, insn_number);
- }
- /* Also, if this insn introduces a "constant" register,
- that could just be replaced by the value it is given here
- (which can legitimately be an immediate operand),
- tell global-alloc not to allocate it
- unless it is used at least twice more. */
-
- else if (REG_NOTE_KIND (link) == REG_EQUIV
- && GET_CODE (SET_DEST (body)) == REG
- && general_operand (XEXP (link, 0), VOIDmode)
- /* Don't inhibit allocation of a "constant" register
- that we have already tied to something else! */
- && combined_regno < 0
- /* Don't mess with things live during setjmp. */
- && reg_live_length[REGNO (SET_DEST (body))] >= 0)
- {
- i = REGNO (SET_DEST (body));
- if (reg_n_sets[i] > 1)
- {
- /* Register is set in another place => not really constant.
- cse or flow can cause this to happen.
- Ok, forget we ever thought it was constant. */
- GET_MODE (link) = VOIDmode;
- }
- else if (reg_n_refs[i] <= 2)
- {
- /* For a parameter copy, do let global-alloc
- allocate it; otherwise we would be forced to
- have a frame pointer. */
- if (! frame_pointer_needed
- && GET_CODE (SET_SRC (PATTERN (insn))) == MEM)
- reg_live_length[i] = -2;
- else
- reg_live_length[i] = -1;
-
- /* If value is not constant, we have a parameter
- or a static chain pointer. Tell local-alloc
- as well not to allocate it. */
- if (! CONSTANT_P (SET_SRC (PATTERN (insn))))
- {
- reg_basic_block[i] = REG_BLOCK_GLOBAL;
- reg_qty[i] = -1;
- }
- }
- else
- /* In any case, lower its priority for global-alloc. */
- reg_live_length[i] *= 2;
- }
- }
-
- /* Allocate qty numbers for all registers local to this block
- that are born (set) in this instruction.
- A pseudo that already has a qty is not changed. */
-
- note_stores (PATTERN (insn), reg_is_set);
- }
- if (GET_CODE (insn) == CALL_INSN)
- call_seen = 1;
- if (insn == basic_block_end[b])
- break;
- /* We don't need this for the block's first instruction
- since no regs we care about are live before that instruction.
- Also we do not allocate space in regs_live_at for that instruction. */
- IOR_HARD_REG_SET (regs_live_at[insn_number], regs_live);
- insn = NEXT_INSN (insn);
- }
-
- /* Now every register that is local to this basic block
- should have been given a quantity, or else -1 meaning ignore it.
- Every quantity should have a known birth (verify this now).
-
- If a qty's death has not been established, it indicates a dead store.
- That is ok if the insn is not entirely dead.
- So set the qty'd death to just after its birth. */
-
- for (i = FIRST_PSEUDO_REGISTER; i < next_qty; i++)
- {
- if (qty_birth[i] == -1)
- abort ();
- if (qty_death[i] == -1)
- qty_death[i] = qty_birth[i] + 1;
- }
-
- /* Now order the qtys so we assign them registers
- in order of decreasing length of life. */
- qty_order = (short *) alloca (next_qty * sizeof (short));
- for (i = FIRST_PSEUDO_REGISTER; i < next_qty; i++)
- qty_order[i] = i;
-
- #define EXCHANGE(I1, I2) \
- { i = qty_order[I1]; qty_order[I1] = qty_order[I2]; qty_order[I2] = i; }
-
- if (next_qty == 2 + FIRST_PSEUDO_REGISTER)
- {
- if (qty_compare (FIRST_PSEUDO_REGISTER, FIRST_PSEUDO_REGISTER + 1) > 0)
- EXCHANGE (FIRST_PSEUDO_REGISTER, FIRST_PSEUDO_REGISTER + 1);
- }
- else if (next_qty == 3 + FIRST_PSEUDO_REGISTER)
- {
- if (qty_compare (FIRST_PSEUDO_REGISTER, FIRST_PSEUDO_REGISTER + 1) > 0)
- EXCHANGE (FIRST_PSEUDO_REGISTER, FIRST_PSEUDO_REGISTER + 1);
- if (qty_compare (FIRST_PSEUDO_REGISTER + 1, FIRST_PSEUDO_REGISTER + 2) > 0)
- EXCHANGE (FIRST_PSEUDO_REGISTER + 2, FIRST_PSEUDO_REGISTER + 1);
- if (qty_compare (FIRST_PSEUDO_REGISTER, FIRST_PSEUDO_REGISTER + 1) > 0)
- EXCHANGE (FIRST_PSEUDO_REGISTER, FIRST_PSEUDO_REGISTER + 1);
- }
- else if (next_qty > 3 + FIRST_PSEUDO_REGISTER)
- qsort (qty_order + FIRST_PSEUDO_REGISTER,
- next_qty - FIRST_PSEUDO_REGISTER, sizeof (short), qty_compare_1);
-
- /* Now for each qty that is not a hardware register,
- look for a hardware register to put it in.
- First try the register class that is cheapest for this qty,
- if there is more than one class. */
-
- for (i = FIRST_PSEUDO_REGISTER; i < next_qty; i++)
- {
- q = qty_order[i];
- if (qty_size[q] >= 0)
- {
- if (N_REG_CLASSES > 1)
- {
- qty_phys_reg[q] = find_free_reg (qty_min_class[q],
- qty_mode[q], q, 0,
- qty_birth[q], qty_death[q]);
- if (qty_phys_reg[q] >= 0)
- continue;
- }
-
- if (!qty_preferred_or_nothing[q])
- qty_phys_reg[q] = find_free_reg (GENERAL_REGS,
- qty_mode[q], q, 0,
- qty_birth[q], qty_death[q]);
- }
- }
-
- /* Now propagate the register assignments
- to the pseudo regs belonging to the qtys. */
-
- for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
- if (reg_qty[i] >= 0 && qty_phys_reg[reg_qty[i]] >= 0)
- {
- reg_renumber[i] = qty_phys_reg[reg_qty[i]] + reg_offset[i];
- }
- }
-
- /* Compare two quantities' priority for getting real registers.
- We give quantities with hard-reg suggestions priority over all others.
- We give longer-lived quantities higher priority
- so that the shorter-lived ones will tend to be in the same places
- which gives in general the maximum room for the regs to
- be allocated by global-alloc.
- Regs with more references are also preferred. */
-
- static int
- qty_compare (q1, q2)
- int q1, q2;
- {
- register int tem = (qty_phys_sugg[q2] >= 0) - (qty_phys_sugg[q1] >= 0);
- if (tem != 0) return tem;
- return -((qty_n_refs[q1] + qty_death[q1] - qty_birth[q1]) * qty_size[q2]
- - (qty_n_refs[q2] + qty_death[q2] - qty_birth[q2]) * qty_size[q1]);
- }
-
- static int
- qty_compare_1 (q1, q2)
- short *q1, *q2;
- {
- register int tem = (qty_phys_sugg[*q2] >= 0) - (qty_phys_sugg[*q1] >= 0);
- if (tem != 0) return tem;
- tem = -((qty_n_refs[*q1] + qty_death[*q1] - qty_birth[*q1]) * qty_size[*q2]
- - (qty_n_refs[*q2] + qty_death[*q2] - qty_birth[*q2]) * qty_size[*q1]);
- if (tem != 0) return tem;
- /* If qtys are equally good, sort by qty number,
- so that the results of qsort leave nothing to chance. */
- return *q1 - *q2;
- }
-
- /* Attempt to combine the two registers (rtx's) USEDREG and SETREG.
- Returns 1 if have done so, or 0 if cannot.
-
- Combining registers means marking them as having the same quantity
- and adjusting the offsets within the quantity if either of
- them is a SUBREG).
-
- We don't actually combine a hard reg with a pseudo; instead
- we just record the hard reg as the suggestion for the pseudo's quantity.
- If we really combined them, we could lose if the pseudo lives
- across an insn that clobbers the hard reg (eg, movstr).
-
- There are elaborate checks for the validity of combining. */
-
-
- static int
- combine_regs (usedreg, setreg, b, insn_number, insn)
- rtx usedreg, setreg;
- int b;
- int insn_number;
- rtx insn;
- {
- register int ureg, sreg;
- register int offset = 0;
- int usize, ssize;
- register int sqty;
-
- /* Determine the numbers and sizes of registers being used. */
-
- while (GET_CODE (usedreg) == SUBREG)
- {
- offset += SUBREG_WORD (usedreg);
- usedreg = SUBREG_REG (usedreg);
- }
- if (GET_CODE (usedreg) != REG)
- return 0;
- ureg = REGNO (usedreg);
- usize = REG_SIZE (usedreg);
-
- while (GET_CODE (setreg) == SUBREG)
- {
- offset -= SUBREG_WORD (setreg);
- setreg = SUBREG_REG (setreg);
- }
- if (GET_CODE (setreg) != REG)
- return 0;
- sreg = REGNO (setreg);
- ssize = REG_SIZE (setreg);
-
- /* Do not combine registers unless one fits within the other. */
- if (offset > 0 && usize + offset > ssize)
- return 0;
- if (offset < 0 && usize + offset < ssize)
- return 0;
- /* Do not combine with a smaller already-assigned object
- if that smaller object is already combined with something bigger
- or if that smaller object is a hard reg.
- In the latter case, we would implicitly be using consecutive
- hard regs, and there is no code to keep track of that.
- (This is overcautious; we could check that ssize actually
- requires more hard regs at this spot.) */
- if (ssize > usize && reg_qty[ureg] >= FIRST_PSEUDO_REGISTER
- && usize < qty_size[reg_qty[ureg]])
- return 0;
-
- /* Don't do anything with the non-allocatable registers.
- Also, don't suggest a call-clobberable register
- for something that must live across calls.
- Also, don't suggest a hardware register for anything larger than it. */
- if (ureg < FIRST_PSEUDO_REGISTER)
- {
- if (fixed_regs[ureg])
- return 0;
- if (reg_n_calls_crossed[sreg] != 0 && call_used_regs[ureg])
- return 0;
- if (usize < ssize)
- return 0;
- }
-
- if (sreg < FIRST_PSEUDO_REGISTER)
- {
- if (fixed_regs[sreg])
- return 0;
- if (reg_n_calls_crossed[ureg] != 0 && call_used_regs[sreg])
- return 0;
- if (ssize < usize)
- return 0;
- }
-
- /* Don't tie something to itself. In most cases it would make no
- difference, but it would screw up if the reg being tied to itself
- also dies in this insn. */
-
- if (ureg == sreg)
- return 0;
-
- /* Don't try to connect two different hardware registers. */
-
- if (ureg < FIRST_PSEUDO_REGISTER && sreg < FIRST_PSEUDO_REGISTER)
- return 0;
-
- /* Don't connect two different machine modes if they have different
- implications as to which registers may be used. */
-
- if (!MODES_TIEABLE_P (GET_MODE (usedreg), GET_MODE (setreg)))
- return 0;
-
- /* Now, if one of UREG and SREG is a hard reg and the other is
- a pseudo, record the hard reg as the qty_phys_sugg for the pseudo
- instead of tying them. */
- /* Return "failure" so that the lifespan of UREG is terminated here;
- that way the two lifespans will be disjoint and nothing will prevent
- the pseudo reg from being given this hard reg. */
-
- if (ureg < FIRST_PSEUDO_REGISTER)
- {
- if (reg_qty[sreg] == -2)
- reg_is_born (setreg, insn_number);
- if (reg_qty[ureg] == -2)
- reg_is_born (usedreg, insn_number);
- if (reg_qty[sreg] >= 0)
- qty_phys_sugg[reg_qty[sreg]] = ureg;
- return 0;
- }
- if (sreg < FIRST_PSEUDO_REGISTER)
- {
- if (reg_qty[sreg] == -2)
- reg_is_born (setreg, insn_number);
- if (reg_qty[ureg] == -2)
- reg_is_born (usedreg, insn_number);
- /* If UREG already has a suggested hard reg, don't override it,
- since the most likely case is on a risc machine
- when a pseudo gets a subroutine result and is then returned by
- this function. In this case, the outgoing register window
- is probably a better place to use. */
- if (reg_qty[ureg] >= 0
- && (qty_phys_sugg[reg_qty[ureg]] < 0
- /* If the old suggestion is no good, override it. */
- || (qty_n_calls_crossed[reg_qty[ureg]] != 0
- && call_used_regs[qty_phys_sugg[reg_qty[ureg]]])))
- qty_phys_sugg[reg_qty[ureg]] = sreg;
- return 0;
- }
-
- /* Do nothing if SREG is a pseudo that already has a quantity
- or if it isn't local to this basic block or dies more than once. */
-
- if (reg_qty[sreg] != -2)
- return 0;
-
- /* Do nothing if UREG isn't local to this block or dies more than once.
- We do this because global_alloc has no idea of tying,
- so there is no use noting those local pseudos that could
- profitably be delayed till global_alloc and get tied to global ones. */
-
- if (reg_qty[ureg] == -1)
- return 0;
-
- /* We don't already know about SREG, so tie it to UREG
- if this is the last use of UREG, provided the classes they want
- are compatible. */
-
- if (find_regno_note (insn, REG_DEAD, ureg)
- && (reg_qty[ureg] >= FIRST_PSEUDO_REGISTER
- ? reg_meets_class_p (sreg, qty_min_class[reg_qty[ureg]])
- : reg_meets_class_p (sreg, reg_preferred_class (ureg))))
- {
- if (reg_qty[ureg] == -2)
- reg_is_born (usedreg, insn_number);
- sqty = reg_qty[sreg] = reg_qty[ureg];
- if (sqty < FIRST_PSEUDO_REGISTER) abort ();
- /* If SREG's reg class is smaller, set qty_min_class[SQTY]. */
- update_qty_class (sqty, sreg);
- reg_offset[sreg] = reg_offset[ureg] + offset;
- if (sqty >= 0)
- {
- qty_n_calls_crossed[sqty] += reg_n_calls_crossed[sreg];
- qty_n_refs[sqty] += reg_n_refs[sreg];
- if (! reg_preferred_or_nothing (sreg))
- qty_preferred_or_nothing[sqty] = 0;
- if (usize < ssize)
- {
- register int i;
- for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
- if (reg_qty[i] == sqty)
- reg_offset[i] -= offset;
- qty_size[sqty] = ssize;
- qty_mode[sqty] = GET_MODE (setreg);
- }
- }
- }
- else
- return 0;
-
- return 1;
- }
-
- /* Return 1 if the preferred class of REG allows it to be tied
- to a quantity or register whose class is CLASS.
- True if REG's reg class either contains or is contained in CLASS. */
-
- static int
- reg_meets_class_p (reg, class)
- int reg;
- enum reg_class class;
- {
- register enum reg_class rclass = reg_preferred_class (reg);
- return (reg_class_subset_p (rclass, class)
- || reg_class_subset_p (class, rclass));
- }
-
- /* Return nonzero if R2's preferred class is the same as or contains
- R1's preferred class. R1 and R2 are pseudo-register numbers. */
-
- static int
- reg_class_subset_p (c1, c2)
- register enum reg_class c1;
- register enum reg_class c2;
- {
- if (c1 == c2) return 1;
-
- if (c2 == ALL_REGS)
- win:
- return 1;
- GO_IF_HARD_REG_SUBSET (reg_class_contents[(int)c1],
- reg_class_contents[(int)c2],
- win);
- return 0;
- }
-
- /* Update the class of QTY assuming that REG is being tied to it. */
-
- static void
- update_qty_class (qty, reg)
- int qty;
- int reg;
- {
- enum reg_class rclass = reg_preferred_class (reg);
- if (reg_class_subset_p (rclass, qty_min_class[qty]))
- qty_min_class[qty] = rclass;
- }
-
- /* Handle something which alters the value of an rtx REG.
- REG is whatever is set or clobbered. (CLOBBER_FLAG says which.)
- If it is not really a register, we do nothing.
- The file-global variables `this_insn' and `this_insn_number'
- carry info from `block_alloc'. */
-
- static void
- reg_is_set (reg, setter)
- rtx reg;
- rtx setter;
- {
- register int regno;
- int clobber_flag = GET_CODE (setter) == CLOBBER;
-
- if (reg == 0 || GET_CODE (reg) != REG)
- return;
-
- regno = REGNO (reg);
-
- if (regno < FIRST_PSEUDO_REGISTER)
- {
- /* A hard reg is set or clobbered.
- Mark it as live at the moment immediately following this insn
- so that no pseudo can live here at that time.
- For a CLOBBER, mark it as live before this insn,
- to make sure it is free during the entire insn. */
-
- register int lim = regno + HARD_REGNO_NREGS (regno, GET_MODE (reg));
- register int i;
- for (i = regno; i < lim; i++)
- {
- SET_HARD_REG_BIT (regs_live_at[this_insn_number], i);
- if (clobber_flag)
- SET_HARD_REG_BIT (regs_live_at[this_insn_number - 1], i);
- }
-
- /* If the hard reg is given a useful value
- and it does not die in this insn,
- mark it as live indefinitely afterward. */
- if (! clobber_flag
- && ! find_regno_note (this_insn, REG_DEAD, regno))
- reg_is_born (reg, this_insn_number);
- }
- else if (! clobber_flag)
- {
- /* A pseudo-reg is set (not just clobbered). */
-
- reg_is_born (reg, this_insn_number);
-
- /* If a pseudo register dies in the same insn that sets it,
- say it dies in the following insn instead,
- because it will have to be live right after this insn. */
- if (qty_death[reg_qty[regno]] == this_insn_number)
- {
- /* Calls to post_mark_life and mark_life deleted here.
- They only know how to handle hard regs. */
- qty_death[reg_qty[regno]]++;
- }
- }
- else if (reg_qty[regno] >= 0 && qty_death[reg_qty[regno]] == this_insn_number
- && qty_birth[reg_qty[regno]] == this_insn_number)
- {
- /* A psuedo-reg is clobbered by this insn and was born and dies here.
- This is a temporary required for this insn and so will
- conflict with any other live registers at this point. We must
- assume that this register is used before all the inputs of the
- insn are dead. So this register must not conflict with any of them.
- Mark it as born at the previous insn. */
- qty_birth[reg_qty[regno]]--;
- /* It should also conflict with this insn's outputs. */
- qty_death[reg_qty[regno]]++;
- }
- }
-
- /* Handle beginning of the life of register REG.
- INSN_NUMBER is the insn at which this is happening. */
-
- static void
- reg_is_born (reg, insn_number)
- rtx reg;
- int insn_number;
- {
- register int regno = REGNO (reg);
-
- if (regno < FIRST_PSEUDO_REGISTER)
- mark_life (regno, GET_MODE (reg), 1);
- else if (reg_qty[regno] == -2)
- alloc_qty (regno, GET_MODE (reg), PSEUDO_REGNO_SIZE (regno), insn_number);
- }
-
- /* Record the death in insn DEATH_INSN_NUMBER for the register REG. */
-
- static void
- wipe_dead_reg (reg, this_insn_number, death_insn_number)
- register rtx reg;
- int this_insn_number;
- int death_insn_number;
- {
- register int regno = REGNO (reg);
-
- if (regno < FIRST_PSEUDO_REGISTER)
- {
- mark_life (regno, GET_MODE (reg), 0);
- if (this_insn_number != death_insn_number)
- abort ();
- #if 0 /* Should never get here */
- post_mark_life (regno, GET_MODE (reg), 1,
- this_insn_number, death_insn_number);
- #endif
- }
- else
- {
- /* If a pseudo reg is referred to but was never set,
- we will find here that its qty is -2.
- Since these regs do not conflict with anything,
- mark them as born and dead in the same place. */
- if (reg_qty[regno] == -2)
- {
- alloc_qty (regno, GET_MODE (reg), REG_SIZE (reg), this_insn_number);
- REG_NOTES (this_insn) = gen_rtx (EXPR_LIST, REG_UNSET, reg,
- REG_NOTES (this_insn));
- }
-
- if (reg_qty[regno] >= 0)
- qty_death[reg_qty[regno]] = death_insn_number;
- }
- }
-
- /* Find a block of SIZE words of hard regs in reg_class CLASS
- that can hold something of machine-mode MODE
- (but actually we test only the first of the block for holding MODE)
- and still free between insn BORN_INSN and insn DEAD_INSN,
- and return the number of the first of them.
- Return -1 if such a block cannot be found.
- If QTY crosses calls, insist on a register preserved by calls,
- unless ACCEPT_CALL_CLOBBERED is nonzero. */
-
- static int
- find_free_reg (class, mode, qty, accept_call_clobbered, born_insn, dead_insn)
- enum reg_class class;
- enum machine_mode mode;
- int accept_call_clobbered;
- int qty;
- int born_insn, dead_insn;
- {
- register int i, ins;
- #ifdef HARD_REG_SET
- register /* Declare it register if it's a scalar. */
- #endif
- HARD_REG_SET used;
-
- if (accept_call_clobbered)
- COPY_HARD_REG_SET (used, call_fixed_reg_set);
- else if (qty_n_calls_crossed[qty] == 0)
- COPY_HARD_REG_SET (used, fixed_reg_set);
- else
- COPY_HARD_REG_SET (used, call_used_reg_set);
-
- for (ins = born_insn; ins < dead_insn; ins++)
- IOR_HARD_REG_SET (used, regs_live_at[ins]);
-
- IOR_COMPL_HARD_REG_SET (used, reg_class_contents[(int) class]);
- /* Don't use the frame pointer reg in local-alloc even if
- we may omit the frame pointer, because if we do that and then we
- need a frame pointer, reload won't know how to move the pseudo
- to another hard reg. It can move only regs made by global-alloc. */
- SET_HARD_REG_BIT (used, FRAME_POINTER_REGNUM);
-
- /* If quantity QTY has a suggested physical register,
- try that one first. */
-
- if (qty_phys_sugg[qty] >= 0)
- {
- i = qty_phys_sugg[qty];
- if (! TEST_HARD_REG_BIT (used, i)
- && HARD_REGNO_MODE_OK (i, mode))
- {
- register int j;
- register int size1 = HARD_REGNO_NREGS (i, mode);
- for (j = 1; j < size1 && ! TEST_HARD_REG_BIT (used, i + j); j++);
- if (j == size1)
- {
- post_mark_life (i, mode, 1, born_insn, dead_insn);
- return i;
- }
- }
- }
-
- /* If that doesn't find one, test each hard reg. */
-
- for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
- {
- #ifdef REG_ALLOC_ORDER
- int regno = reg_alloc_order[i];
- #else
- int regno = i;
- #endif
- if (! TEST_HARD_REG_BIT (used, regno)
- && HARD_REGNO_MODE_OK (regno, mode))
- {
- register int j;
- register int size1 = HARD_REGNO_NREGS (regno, mode);
- for (j = 1; j < size1 && ! TEST_HARD_REG_BIT (used, regno + j); j++);
- if (j == size1)
- {
- post_mark_life (regno, mode, 1, born_insn, dead_insn);
- return regno;
- }
- #ifndef REG_ALLOC_ORDER
- i += j; /* Skip starting points we know will lose */
- #endif
- }
- }
-
- /* If it would be profitable to allocate a call-clobbered register
- and save and restore it around calls, do that. */
-
- if (! accept_call_clobbered
- && flag_caller_saves
- && qty_n_calls_crossed[qty] != 0
- && CALLER_SAVE_PROFITABLE (qty_n_refs[qty], qty_n_calls_crossed[qty]))
- {
- i = find_free_reg (class, mode, qty, 1, born_insn, dead_insn);
- if (i >= 0)
- caller_save_needed = 1;
- return i;
- }
- return -1;
- }
-
- static void
- mark_life (regno, mode, life)
- register int regno;
- enum machine_mode mode;
- int life;
- {
- register int j = HARD_REGNO_NREGS (regno, mode);
- if (life)
- while (--j >= 0)
- SET_HARD_REG_BIT (regs_live, regno + j);
- else
- while (--j >= 0)
- CLEAR_HARD_REG_BIT (regs_live, regno + j);
- }
-
- static void
- post_mark_life (regno, mode, life, birth, death)
- register int regno, life, birth;
- enum machine_mode mode;
- int death;
- {
- register int j = HARD_REGNO_NREGS (regno, mode);
- #ifdef HARD_REG_SET
- register /* Declare it register if it's a scalar. */
- #endif
- HARD_REG_SET this_reg;
-
- CLEAR_HARD_REG_SET (this_reg);
- while (--j >= 0)
- SET_HARD_REG_BIT (this_reg, regno + j);
-
- /* If a reg is born and dies in one insn,
- consider it live after that insn. */
-
- if (birth == death)
- death++;
-
- if (life)
- while (birth < death)
- {
- IOR_HARD_REG_SET (regs_live_at[birth], this_reg);
- birth++;
- }
- else
- while (birth < death)
- {
- AND_COMPL_HARD_REG_SET (regs_live_at[birth], this_reg);
- birth++;
- }
- }
-
- void
- dump_local_alloc (file)
- FILE *file;
- {
- register int i;
- for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
- if (reg_renumber[i] != -1)
- fprintf (file, ";; Register %d in %d.\n", i, reg_renumber[i]);
- }
-